- idUS
- Listar por autor
Listar por autor "Lambán Pardo, Laureano"
Mostrando ítems 1-9 de 9
-
Ponencia
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials
Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Springer, 2011)In this paper we present a complete formalization, using the ACL2 theorem prover, of the Normalization Theorem, a result ...
-
Ponencia
Certified Symbolic Manipulation: Bivariate Simplicial Polynomials
Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (ACM, 2013)Certified symbolic manipulation is an emerging new field where programs are accompanied by certificates that, suitably ...
-
Capítulo de Libro
Computer algebra and algebraic analysis
Castro Jiménez, Francisco Jesús (Universidad de La Rioja, 2010)Este artículo describe algunas aplicaciones del Álgebra Computacional al Análisis Algebraico, también conocido como teoría ...
-
Artículo
Formalization of a normalization theorem in simplicial topology
Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Springer, 2012)In this paper we present a complete formalization of the Normalization Theorem, a result in Algebraic Simplicial Topology ...
-
Capítulo de Libro
El problema de la derivación en álgebras de Lie filiformes
Núñez Valdés, Juan (Universidad de La Rioja, 2010)En este trabajo, cuyo objetivo principal es honrar la memoria de la profesora Mirian Andrés, de la Universidad de La Rioja, ...
-
Capítulo de Libro
Topología simplicial en ACL2
Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Universidad de la Rioja, 2010) -
Ponencia
Towards a verifiable topology of data
Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Universidad de La Rioja, Departamento de Matemáticas y Computación, 2016) -
Ponencia
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms
Lambán Pardo, Laureano; Martín Mateos, Francisco Jesús; Rubio, Julio; Ruiz Reina, José Luis (Springer, 2017)We present here an application of abstract single threaded objects (abstract stobjs) in the ACL2 theorem prover, to define ...
-
Artículo
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm
Lambán Pardo, Laureano; Rubio, Julio; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Oxford Academic, 2013)The Eilenberg–Zilber algorithm is one of the central components of the computer algebra system called Kenzo, devoted ...